$M$.init($x$)?$v$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of(2of(2of($M$)))($x$)?$v$